On the Expressiveness of Intensional Communication
نویسنده
چکیده
Thomas Given-Wilson. On the Expressiveness of Intensional Communication. Johannes Borgström and Silvia Crafa. Combined 21th International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, Sep 2014, Rome, Italy. Open Publishing Association, 160, pp.30-46, 2014, Electronic Proceedings in Theoretical Computer Science. <10.4204/EPTCS.160.4>.
منابع مشابه
Intensional Programming for Agent Communication
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid. For the language thus extended, a calculus of contexts and a logic of contexts are provided. The paper gives definitions, syntax, and operators for context, and introduces an operational semantics for evaluating expr...
متن کاملThe Simple and Multiple Relationships between Experiential Avoidance, Communication Skills, and Emotional Expressiveness among Married Women in Bandar Abbas City in 2022: A Descriptive Study
Background and Objectives: Emotional expression is an important element of a normal and dynamic relationship. Therefore, it is essential to identify effective factors on emotional expressiveness in married women. As a result, the present study was conducted with the aim of determining the simple and multiple relationships between experiential avoidance, communication skills, and emotional expre...
متن کاملExpressiveness via Intensionality and Concurrency
Computation can be considered by taking into account two dimensions: extensional versus intensional, and sequential versus concurrent. Traditionally sequential extensional computation can be captured by the λ-calculus. However, recent work shows that there are more expressive intensional calculi such as S F-calculus. Traditionally process calculi capture computation by encoding the λ-calculus, ...
متن کاملIntensional Investigations
This thesis is about the theory and practice of intensional semantics. Traditional denotational models of programming languages are usually extensional in that they concern themselves only with input/output properties of programs. The meaning of a program is typically taken to be a function from input to output containing no information about the way that function computes its result. In an int...
متن کاملNo . 2009 - 554 An Exploration of Semantic Formalisms - Part I : A Comparison of First Order Predicate Calculus , Intensional
This summary paper describes the general properties and features of two systems of semantic representation: Montague’s Intensional Logic and Jackendoff’s Conceptual Structures. Each system of representation is based upon a different type of semantic theory, and thus each one is meant to express different semantic and linguistic phenomena. The basic concepts of how each formalism works and their...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014